logical formulas

逻辑式